Strategic Knowledge Acquisition
نویسندگان
چکیده
The article proposes a trimodal logical system that can express the strategic ability of coalitions to learn from their experience. main technical result is completeness proposed system.
منابع مشابه
Supporting the Acquisition of Strategic Knowledge in Undergraduate Music Studies
The resource and timescale constraints imposed by TLTP on the production of courseware for music in higher education have, effectively, specified the use of multi-media toolkits. Although this has restricted the type of support that can be offered to students, by ruling out the use of detailed on-line student modelling, use is still made of knowledge of the cognitive skills that have been shown...
متن کاملKnowledge Acquisition for Knowledge Management
Knowledge is considered to be “the information needed to make business decisions”, and so knowledge management is the “essential ingredient of success” for 95 per cent of CEOs [Manchester 1999]. A company’s value depends increasingly on “intangible assets” which exist in the minds of employees, in databases, in files and in a myriad documents. Knowledge management technologies capture this inta...
متن کاملKnowledge Acquisition via Knowledge Integration
In this paper we are concerned with the problem of acquiring knowledge by integration. Our aim is to construct an integrated knowledge base from several separate sources. The need to merge knowledge bases can arise, for example, when knowledge bases are acquired independently from interactions with several domain experts. As opinions of different domain experts may differ, the knowledge bases c...
متن کاملKnowledge as Strategic Ability
The ultimate goal of our research is to develop techniques for model checking knowledge properties of multi-agent systems. ATEL, an extension of the Alternating-time Temporal Logic of Alur et al, is a logic for specifying epistemic and strategic properties of such systems. We present a technique for reducing the ATEL model checking problem to one of model checking in ATL, whereby epistemic rela...
متن کاملAutomating Knowledge Acquisition in Diagnosis Automating Knowledge Acquisition in Diagnosis
This paper argues that automated knowledge acquisition for diagnosis has had limited success in both failure-driven diagnosis and model-based diagnosis. The paper describes fault-based and model-based reasoning for diagnosis and surveys some of the approaches to knowledge acquisition in both areas. The Hakeem1 algorithm I am currently implementing for the automated generation of behavioural mod...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Computational Logic
سال: 2021
ISSN: ['1557-945X', '1529-3785']
DOI: https://doi.org/10.1145/3459993